منابع مشابه
Theories of Intellectual Property
The term "intellectual property" refers to a loose cluster of legal doctrines that regulate the uses of different sorts of ideas and insignia. The law of copyright protects various “original forms of expression,” including novels, movies, musical compositions, and computer software programs. Patent law protects inventions and some kinds of discoveries. Trademark law protects words and symbols t...
متن کاملTheories with the Independence Property
A first-order theory T has the Independence Property provided T ⊢ (Q)(Φ ⇒ Φ1 ∨ · · · ∨ Φn) implies T ⊢ (Q)(Φ ⇒ Φi) for some i whenever Φ,Φ1, . . . ,Φn are formulae of a suitable type and (Q) is any quantifier sequence. Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first order theory has the independence property for the ...
متن کاملRunning-head: Theories, ideals, and property induction Theories, Ideals, and Category-Based Property Induction
One important property of human object categories is that they are the categories to which newly observed properties are likely to be generalized. Another is that such categories often exhibit theoretical coherence. This study examined the relationship between inductive generalization and theoretical coherence by manipulating the causal knowledge associated with novel categories and assessing t...
متن کاملA Study on the Effect of Crease Resistant Finish Treatment on Perspiration Fastness Property of Cotton Garments
Present day cotton garments are mostly given chemical treatments like Softening, Easy care (Wrinkle free), Antimicrobial etc. Human sweat contains chemicals and some times affects the appearances of the garments. Effect of perspiration on wrinkle free treated cotton fabric on acidic and alkaline condition has been studied during this research work. It has been observed that there is no negative...
متن کاملOn a classification of theories without the independence property
A theory is stable up to ∆ if any ∆-type over a model has a few extensions up to complete types. I prove that a theory has no the independence property iff it is stable up to some ∆, where each φ(x; ȳ) ∈ ∆ has no the independence property. Definability of one-types over a model of a stable up to ∆ theory is investigated.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Synthetic Organic Chemistry, Japan
سال: 1956
ISSN: 0037-9980,1883-6526
DOI: 10.5059/yukigoseikyokaishi.14.199